Depth of proofs, depth of cut-formulas and complexity of cut formulas
نویسندگان
چکیده
منابع مشابه
The depth of intuitionistic cut free proofs
We prove a quadratic upper bound for the depth of cut free proofs in propositional intuitionistic logic formalized with Gentzen’s sequent calculus. We discuss bounds on the necessary number of reuses of left implication rules. We exhibit an example showing that this quadratic bound is optimal. As a corollary, this gives a new proof that propositional validity for intuitionistic logic is in PSPACE.
متن کاملthe effect of the utilization of electronic dictionaries on depth and breadth of vocabulary knowledge: a case of iranian efl learners
مطالعه حاضر تلاشی است برای بررسی تأثیرات به کارگیری فرهنگ لغات ، یکی از مهمترین ابزارهای یادگیری واژگان درفراگیری زبان خارجی، بر روی دانش لغوی. دراین تحقیق فرهنگ های الکترونیکی در قیاس با فرهنگ های چاپی مورد بررسی قرارگرفته اند که آیا این فرهنگ ها تاثیرقابل توجهی بر روی دوبعد کمی و کیفی دانش لغوی یعنی عمق و گستره لغات می گذارند. همچنین مشخص گردیده است که آیا تفاوت قابل ملاحظه ای میان عمق و گستر...
15 صفحه اولthe effect of task complexity on lexical complexity and grammatical accuracy of efl learners’ argumentative writing
بر اساس فرضیه شناخت رابینسون (2001 و 2003 و 2005) و مدل ظرفیت توجه محدود اسکهان (1998)، این تحقیق تاثیر پیچیدگی تکلیف را بر پیچیدگی واژگان و صحت گرامری نوشتار مباحثه ای 60 نفر از دانشجویان زبان انگلیسی بررسی کرد. میزان پیچیدگی تکلیف از طریق فاکتورهای پراکندگی-منابع تعیین شد. همه ی شرکت کنندگان به صورت نیمه تصادفی به یکی از سه گروه: (1) گروه موضوع، (2) گروه موضوع + اندیشه و (3) گروه موضوع + اندی...
15 صفحه اولOn meta complexity of propositional formulas and propositional proofs
A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional language, the article suggests to define the complexity by the size of external descriptions of such constructions. The main result is a lower bound on proof complexity with respect to this new definition of complexity.
متن کاملVanishing of Tate Homology and Depth Formulas over Local Rings
Auslander’s depth formula for pairs of Tor-independent modules over a regular local ring, depth(M ⊗R N) = depth M + depth N − depthR, has been generalized in several directions; most significantly it has been shown to hold for pairs of Tor-independent modules over complete intersection rings. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules ov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1994
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90087-6